This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph (...) is complex -unbounded in valence and in treewidth. We thus explore the expressiveness of order-invariant queries over well-behaved graphs. We prove that first-order order-invariant queries over strings and trees have no additional expressiveness over first-order logic in the original signature. We also prove new upper bounds on order-invariant queries over bounded treewidth and bounded valence graphs. Our results make use of a new technique of independent interest: the application of algebraic characterizations of definability to show collapse results. (shrink)

In Belegradek et al. 85) the collapse result theorem was proved for locally generic queries over ordered domain with pseudo-finite homogeneity property. In a very interesting paper of Baldwin and Benedikt the collapse result theorem was proved for locally generic queries over ordered domains without the independence property. It means that over such a domain, order-generic extended queries fail to express more than restricted queries. It was observed by Baldwin and Benedikt that any theory without the independence property (...) is P-reducible. I prove that, for the P-reducible theories, a version of pseudo-finite homogeneity property holds. (shrink)

We study classes of ultrafilters on ω defined by a natural property of the Loeb measure in the Nonstandard Universe corresponding to the ultrafilter. This class, the Property M ultrafilters, is shown to contain all ultrafilters built up by taking iterated products over collections of pairwise nonisomorphic selective ultrafilters. Results on Property M ultrafilters are applied to the construction of extensions of probability measures, and to the study of measurable reductions between ultrafilters.

We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...) on the semi-linear sets considered. (shrink)

Does the contemporary built environment—the ensemble of our humanly created surroundings—make us happy? This question prompts a consideration of the psychological dimensions of economic value, and of Tibor Scitovsky's revisions of standard economic theory. With Scitovsky as a starting point, a model of value based on modern complexity theory and a Maslow‐like rendition of human needs can account for some of the more important exceptions to the law of diminished marginal utility, including those that may undermine the built environment in (...) a market economy. (shrink)

Buildings are meaningful parts of the environment; and when they are architecture, they aspire to greater meaning. Several accounts of architectural semiosis have been offered based on analogies to biology and language. These are critiqued. Critiqued, too, are accounts of semiosis generally that use systems-theoretical concepts and language. The essay goes on to outline what could be a contribution to biosemiotics from the work of perception psychologist, J. J. Gibson, as brought through architecture in the form of isovist field theory. (...) This theory is not treated as an example of systems thinking as it usually is, but, with the help of philosopher Martin Buber as well as Jesper Hoffmeyer, as a way out of it—able to describe the meaning of objects and space phenomenologically and ecologically at once. (shrink)

Leibniz in his works around Theodizee and "Monadology" (disregarding his "vinculum substantiale") and the middle Brentano in his works on Philosophy of History of Philosophy as well as in epistemologico-moral treatises present models of an epistemically well-founded nature transformed into theories of history. Whereas Leibniz interprets catastrophes as necessary phases--candidates for a turning-point to the better and the best world,--Brentano's outlook is more modest in contrasting uprising stages with pitfalls of pragmatism, skepticism, and mysticism. Either philosopher in his respective world-view (...) cannot, however, cope with an "anthropodizee", the defence of human dignity against man's own aggressive products. (shrink)

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this (...) article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. (shrink)

One Seit Platon (mit dem Spott von Diogenes) über Kant ist die Fundamentalfrage "Was ist der Mensch?" bis heute nicht nur von der Philosophie (als regina scientiarum), sondern von der Wissenschaft überhaupt nicht beantwortet. Phänomenologisch hat der Mensch a posteriori physische (somatische), psychische(perceptio, emotio, cognitio), mentale (logische), spirituelle (conscientia, volitio, actio) "Sphären". Ontologisch in Kontext von to ti en einai (Aristoteles) sollte der Mensch a priori ein "Programm" (Information) vor der Kosmogonie haben. Der (Neo‐) Positivismus (z.B. Hume bis Carnap, Russel*; (...) * Nobel Laureate) verwirft Fragen der Metaphysik als Scheinprobleme. Damit bleibt das Menschen‐Wesen in Kontext von Postulaten, wie res cogitans (Descartes), Monaden(Leibniz), "Gott, Freiheit, Unsterblichkeit", Seligkeit und (moralischer) Vollkommenheit (Kant), absoluter Geist (Hegel) in der theologischen Dimension. Antwort könnte eine zukünftige (holistisch‐multidimensionale) philosophische theoretische und Experimentaltheologie (kontrollierbare Beobachtung) durch weitere Forschung geben, in Kontext (bzw. Existenz) von A. Physikotheologie bzw. (a) höhere (als drei) geometrische/physikalische Dimensionen (Hilbert, Riemann /Friedmann, Minkowski, Schmutzer), (b) Paralleluniversen (z.B. L. Randall), (c) Quantentheorie/‐philosophie (Planck*, u.a.), (d) Gravitations‐/Relativitätstheorie (Newton/Einstein*), (e) Vakuumenergie (Sato), etc. B. ChemoBiotheologie bzw. "psychischen" (Fechner) und "spezifischen" (Joh. Müller) Energien,"biologischem Feld" (Gurwitsch), künstlicher Biogenese (Oparin, Fox, Urey*, u.a.; 32 Fragen von John Bernal). C. Psychotheologie bzw. parapsychische Phänomene (Carrel*, Richet*/France, Rhinne/USA, Vassilev, Bechterew/Russia, etc.). D. Religionstheologie: (über‐) Bewußtsein, übersinnliche, immaterielle, supraphysikalische Phänomene (Sri Aurobindo, Dalai Lama*, Konfuzius/Laotse, Gopi Krishna, Papst Benedikt, Paramahansa Yogananda, Sri Yogendra, etc.)und ihre physiologische Begründung (Anand/Chinna, Kasamatsu/Hirai, Ornstein, Pauli*, von Weizsäcker, etc.). Damit hängt die ontologische Frage nach dem MenschenWesen mit der Lösung des Problemkomplexes "Gott Geist/Seele Mensch Natur" zusammen. (shrink)

TA builds on the state of mind (SoM) framework to offer the novelty-seeking model (NSM). The model relates curiosity to creativity but this commentary focuses on creativity: (i) It assesses the SoM + NSM model of creativity-in-the-lab, showing that the focus on semantic networks is inadequate. (ii) It discusses architectural design to sketch ideas for a theory of “big C” creativity.

Human need and related concepts such as basic needs have long been part of the implicit conceptual foundation for social work theory, practice, and research. However, while the published literature in social work has long stressed social justice, and has incorporated discussion of human rights, human need has long been both a neglected and contested concept. In recent years, the explicit use of human needs theory has begun to have a significant influence on the literature in social work.

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

Michael Peters, Sonja Arndt & Marek TesarThis is a collective writing experiment of PESA members, including its Executive Committee, asking questions of the Philosophy of Education in a New Key. Co...

Here, we argue that any neurobiological theory based on an experience/function division cannot be empirically confirmed or falsified and is thus outside the scope of science. A ‘perfect experiment’ illustrates this point, highlighting the unbreachable boundaries of the scientific study of consciousness. We describe a more nuanced notion of cognitive access that captures personal experience without positing the existence of inaccessible conscious states. Finally, we discuss the criteria necessary for forming and testing a falsifiable theory of consciousness.

In this paper the familiar construction of the category of coalgebras for a cartesian comonad is extended to the setting of “algebraic set theory”. In particular, it is shown that, under suitable assumptions, several kinds of categories of classes are stable under the formation of coalgebras for a cartesian comonad, internal presheaves and comma categories.

Bishop and Trout here present a unique and provocative new approach to epistemology. Their approach aims to liberate epistemology from the scholastic debates of standard analytic epistemology, and treat it as a branch of the philosophy of science. The approach is novel in its use of cost-benefit analysis to guide people facing real reasoning problems and in its framework for resolving normative disputes in psychology. Based on empirical data, Bishop and Trout show how people can improve their reasoning by relying (...) on Statistical Prediction Rules. They then develop and articulate the positive core of the book. Their view, Strategic Reliabilism, claims that epistemic excellence consists in the efficient allocation of cognitive resources to reliable reasoning strategies, applied to significant problems. The last third of the book develops the implications of this view for standard analytic epistemology; for resolving normative disputes in psychology; and for offering practical, concrete advice on how this theory can improve real people's reasoning. This is a truly distinctive and controversial work that spans many disciplines and will speak to an unusually diverse group, including people in epistemology, philosophy of science, decision theory, cognitive and clinical psychology, and ethics and public policy. (shrink)

This article is concerned with developing a philosophical approach to a number of significant changes to academic publishing, and specifically the global journal knowledge system wrought by a range of new digital technologies that herald the third age of the journal as an electronic, interactive and mixed-media form of scientific communication. The paper emerges from an Editors' Collective, a small New Zealand-based organisation comprised of editors and reviewers of academic journals mostly in the fields of education and philosophy. The paper (...) is the result of a collective writing process. (shrink)

Coalescent argumentation is a normative ideal that involves the joining together of two disparate claims through recognition and exploration of opposing positions. By uncovering the crucial connection between a claim and the attitudes, beliefs, feelings, values and needs to which it is connected dispute partners are able to identify points of agreement and disagreement. These points can then be utilized to effect coalescence, a joining or merging of divergent positions, by forming the basis for a mutual investigation of non-conflictual options (...) that might otherwise have remained unconsidered. The essay proceeds by defining and discussing ‘argument’, ‘position’ and ‘understanding’. These notions are then brought together to outline the concept of coalescent reasoning. (shrink)

In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a network (...) of schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Michael A. Petersa and Fazal Rizvib aBeijing Normal University, Beijing, PR China; bMelbourne University, Melbourne, Australia Our minds are still racing back and forth, longing for a return to ‘no...

The article analyzes the neural and functional grounding of language skills as well as their emergence in hominid evolution, hypothesizing stages leading from abilities known to exist in monkeys and apes and presumed to exist in our hominid ancestors right through to modern spoken and signed languages. The starting point is the observation that both premotor area F5 in monkeys and Broca's area in humans contain a “mirror system” active for both execution and observation of manual actions, and that F5 (...) and Broca's area are homologous brain regions. This grounded the mirror system hypothesis of Rizzolatti and Arbib (1998) which offers the mirror system for grasping as a key neural “missing link” between the abilities of our nonhuman ancestors of 20 million years ago and modern human language, with manual gestures rather than a system for vocal communication providing the initial seed for this evolutionary process. The present article, however, goes “beyond the mirror” to offer hypotheses on evolutionary changes within and outside the mirror systems which may have occurred to equip Homo sapiens with a language-ready brain. Crucial to the early stages of this progression is the mirror system for grasping and its extension to permit imitation. Imitation is seen as evolving via a so-called simple system such as that found in chimpanzees (which allows imitation of complex “object-oriented” sequences but only as the result of extensive practice) to a so-called complex system found in humans (which allows rapid imitation even of complex sequences, under appropriate conditions) which supports pantomime. This is hypothesized to have provided the substrate for the development of protosign, a combinatorially open repertoire of manual gestures, which then provides the scaffolding for the emergence of protospeech (which thus owes little to nonhuman vocalizations), with protosign and protospeech then developing in an expanding spiral. It is argued that these stages involve biological evolution of both brain and body. By contrast, it is argued that the progression from protosign and protospeech to languages with full-blown syntax and compositional semantics was a historical phenomenon in the development of Homo sapiens, involving few if any further biological changes. Key Words: gestures; hominids; language evolution; mirror system; neurolinguistics; primates; protolanguage; sign language; speech; vocalization. (shrink)

Although our subjective impression is of a richly detailed visual world, numerous empirical results suggest that the amount of visual information observers can perceive and remember at any given moment is limited. How can our subjective impressions be reconciled with these objective observations? Here, we answer this question by arguing that, although we see more than the handful of objects, claimed by prominent models of visual attention and working memory, we still see far less than we think we do. Taken (...) together, we argue that these considerations resolve the apparent conflict between our subjective impressions and empirical data on visual capacity, while also illuminating the nature of the representations underlying perceptual experience. (shrink)

Michael A PetersBeijing Normal UniversityChatGPT is an AI chatbot released by OpenAI on November 30, 2022 and a ‘stable release’ on February 13, 2023. It belongs to OpenAI’s GPT-3 family (generativ...

This paper focusses on our concerns about revelations about sexual harassment in universities and the inadequate responses whereby some universities seem more concerned about their own reputations than the care and protection of their students. Seldom do cases go to criminal court, instead they mostly fall within employment relations policies where the use of non-disclosure agreements are double edged, such that some perpetrators remain nameless even if the person offended against wants details made public. Of course if the staff member (...) does not resign or take retirement prior to potential dismissal, but remains in the institution, the grapevine still works. Universities too often become complicit in cover-ups at the expense of further potential victims of sexual misconduct. It has been with much dismay that we found that despite extensive training and writing about ethics some senior professors in philosophy fields have been accused and found wanting, disabusing us of the virtue assumption. Despite these recent instances where perpetrators have been named and been publicised in the media, we found that this is not in fact new, so not only does the paper look to the past, but also extensively it uses contemporary accounts, reports and documents from USA, UK, South America, Australia, and New Zealand. These seem to be the tip of the iceberg, so our hope is that all students and staff in universities (and in fact all institutions where there are inherent power imbalances) will not only feel safe, but that they will be safe as universities become genuinely ethical institutions. (shrink)

Science and philosophy study well-being with different but complementary methods. Marry these methods and a new picture emerges: To have well-being is to be "stuck" in a positive cycle of emotions, attitudes, traits and success. This book unites the scientific and philosophical worldviews into a powerful new theory of well-being.

Arguing that a psychological basis for ethics can be found in human motivation, Rethinking Goodness proposes a naturalistic ethics that transcends the conflict between liberalism and authoritarianism --the conflict between freedom at the price of narcissism and morality at the price of coercion. A third option is offered, an ethic broader than liberalism's pursuit of the personal, that avoids jeopardizing, as do authoritarian positions, the centrality of individual autonomy.

Choice Outstanding Academic Title, 1996. In hundreds of articles by experts from around the world, and in overviews and "road maps" prepared by the editor, The Handbook of Brain Theory and Neural Networkscharts the immense progress made in recent years in many specific areas related to two great questions: How does the brain work? and How can we build intelligent machines? While many books have appeared on limited aspects of one subfield or another of brain theory and neural networks, the (...) Handbookcovers the entire sweep of topics—from detailed models of single neurons, analyses of a wide variety of biological neural networks, and connectionist studies of psychology and language, to mathematical analyses of a variety of abstract neural networks, and technological applications of adaptive, artificial neural networks. The excitement, and the frustration, of these topics is that they span such a broad range of disciplines including mathematics, statistical physics and chemistry, neurology and neurobiology, and computer science and electrical engineering as well as cognitive psychology, artificial intelligence, and philosophy. Thus, much effort has gone into making the Handbookaccessible to readers with varied backgrounds while still providing a clear view of much of the recent, specialized research in specific topics. The heart of the book, part III, comprises of 267 original articles by leaders in the various fields, arranged alphabetically by title. Parts I and II, written by the editor, are designed to help readers orient themselves to this vast range of material. Part I, Background, introduces several basic neural models, explains how the present study of brain theory and neural networks integrates brain theory, artificial intelligence, and cognitive psychology, and provides a tutorial on the concepts essential for understanding neural networks as dynamic, adaptive systems. Part II, Road Maps, provides entry into the many articles of part III through an introductory "Meta-Map" and twenty-three road maps, each of which tours all the Part III articles on the chosen theme. (shrink)

The generality problem is widely considered to be a devastating objection to reliabilist theories of justification. My goal in this paper is to argue that a version of the generality problem applies to all plausible theories of justification. Assume that any plausible theory must allow for the possibility of reflective justification—S's belief, B, is justified on the basis of S's knowledge that she arrived at B as a result of a highly (but not perfectly) reliable way of reasoning, R. The (...) generality problem applies to all cases of reflective justification: Given that is the product of a process-token that is an instance of indefinitely many belief-forming process-types (or BFPTs), why is the reliability of R, rather than the reliability of one of the indefinitely many other BFPTs, relevant to B's justificatory status? This form of the generality problem is restricted because it applies only to cases of reflective justification. But unless it is solved, the generality problem haunts all plausible theories of justification, not just reliabilist ones. (shrink)

Using relevant encyclicals issued over the last 100 years, the author extracts those principles that constitute the underpinnings of Catholic Social Teaching about the employment relationship and contemplates implications of their incorporation into human resource policy. Respect for worker dignity, for his or her family's economic security, and for the common good of society clearly emerge as the primary guidelines for responsible human resource management. Dovetailing these three Church mandates with the economic objectives of the firm could, in essence, alter (...) the firm's nature because profit motivations would be constrained by consideration for worker and societal welfare. Integration of Church teaching with current corporate goals should therefore impact greatly on a variety of human resource policies. (shrink)

There is an ecology of bad ideas, just as there is an ecology of weeds, and it is characteristic of the system that basic error propagates itself.–Gregory Bateson, Steps Towards an Ecology of Mind...

Are thought experiments nothing but arguments? I argue that it is not possible to make sense of the historical trajectory of certain thought experiments if one takes them to be arguments. Einstein and Bohr disagreed about the outcome of the clock-in-the-box thought experiment, and so they reconstructed it using different arguments. This is to be expected whenever scientists disagree about a thought experiment's outcome. Since any such episode consists of two arguments but just one thought experiment, the thought experiment cannot (...) be the arguments. (shrink)

This essay begins with a critique of the Critical-Logical model dominant in contemporary argumentation theory. The concerns raised stem primarily from considerations brought by several feminist thinkers including Carol Gilligan, Karen Warren, Deborah Tannen and, most especially, Andrea Nye. It is argued that, in light of these considerations, and concerns of essentialism or non-essentialism notwithstanding, that the Critical-Logical model is liable to dis-enfranchise a significant part of the population with regard to modes and styles of reasoning. The solution is found (...) in coalescent reasoning, an approach to argumentation that focuses on finding agreement rather than emphasizing disagreement and criticism. (shrink)

Western Marxism, since its Western deviation and theoretical development in the 1920s, developed in diverse ways that has reflected the broader philosophical environment. First, a theory of conscio...

Management theory and practice are facing unprecedented challenges. The lack of sustainability, the increasing inequity, and the continuous decline in societal trust pose a threat to ‘business as usual’. Capitalism is at a crossroad and scholars, practitioners, and policy makers are called to rethink business strategy in light of major external changes. In the following, we review an alternative view of human beings that is based on a renewed Darwinian theory developed by Lawrence and Nohria. We label this alternative view (...) ‘humanistic’ and draw distinctions to current ‘economistic’ conceptions. We then develop the consequences that this humanistic view has for business organizations, examining business strategy, governance structures, leadership forms, and organizational culture. Afterward, we outline the influences of humanism on management in the past and the present, and suggest options for humanism to shape the future of management. In this manner, we will contribute to the discussion of alternative management paradigms that help solve the current crises. (shrink)

The main stream of formal and informal logic as well as more recent work in discourse analysis provides a way of understanding certain arguments that particularly lend themselves to rational analysis. I argue, however, that these, and allied modes of analysis, be seen as heuristic models and not as the only proper mode of argument. This article introduces three other modes of argumen tation that emphasize distinct aspects of human communication, but that, at the same time, must be considered for (...) the full understanding of argumentation. These modes are (1) the emotional, which relates to the realm of feelings, (2) the visceral, which stems from the area of the physical, and (3) the kisceral, which covers the intuitive and non-sensory arenas. At its most extreme the view holds that arguments may be given (almost) wholly within one mode and not be at all susceptible to those methods of argument analysis previously used. A more cautious statement allows that any interactive argument will (possibly) contain elements from various modes, and that to attempt to reduce these all to the rational is prejudiced reductionism. (shrink)

It's not always the person who is right who wins the arguments, more often it's the person who argues best. Gilbert's practical, clever guide--which also serves as a text for his popular seminars on the art of arguing--shows readers how to hone their polemical skills, and how to counter the verbal weapons that may be in an opponent's arsenal.